Programming language theory - PDFSEARCH.IO - Document Search Engine

Programming language theory
Results: 4158

#	Item
81	Resum´e Kristoffer Høgsbro Rose, Ph.D. , & (+SeptemberEmployment Add to Reading List Source URL: krisrose.net Language: English - Date: 2015-09-22 13:54:54 Computing Theoretical computer science Programming language theory Logic in computer science Formal languages Lambda calculus Functional languages Markup languages Explicit substitution International Conference on Rewriting Techniques and Applications XSLT Combinatory logic
82	ALGOL 60 - Chapter 6, Formal Specification and Software Development Add to Reading List Source URL: homepages.cs.ncl.ac.uk Language: English - Date: 2014-08-19 19:14:29 Software engineering Computer programming Programming language theory Procedural programming languages ALGOL 68 ALGOL Scope Subroutine For loop Pascal PL/I MAD
83	Can simple Natural Language Generation improve Intelligent Tutoring Systems? Barbara Di Eugenio and Michael J. Trolio Electrical Engineering and Computer Science Department University of Illinois at Chicago 1120 SEO (M/C Add to Reading List Source URL: nlp.cs.uic.edu Language: English - Date: 2013-03-02 15:00:28 Computational linguistics Software engineering Programming language theory Computing Natural language processing Educational psychology Educational technology Intelligent tutoring system The Diag Aggregation IBM Basic assembly language and successors ALGOL 68
84	BOOKS ABOUT ZANDBERGEN PYTHON GIS Cityhalllosangeles.com ZANDBERGEN PYTHON GIS Add to Reading List Source URL: z.cityhalllosangeles.com Language: English - Date: 2015-03-05 02:05:08 Software engineering Computer programming Programming language theory Python
85	A Formal Definition of Algol 60 Add to Reading List Source URL: homepages.cs.ncl.ac.uk Language: English - Date: 2014-11-05 17:36:16 Software engineering Computer programming Programming language theory Procedural programming languages ALGOL MAD Big O notation Declaration Recursion PL/I Block Limit of a function
86	Polymorphic types Polymorphism, Recursive Data Types, and Trees Consider the good old length function: Björn Lisper Add to Reading List Source URL: www.idt.mdh.se Language: English - Date: 2013-11-21 03:21:54 Software engineering Type theory Computing Computer programming Data types Recursion Polymorphism Recursive data type Eval Type inference Type system ECL programming language
87	Microsoft Word - cs103_Intro_to_CSompSci_poster.docx Add to Reading List Source URL: cis.uab.edu Language: English - Date: 2016-05-20 10:58:40 Software engineering Computer programming Programming language theory Python
88	Fastest Lambda First λ Neil Mitchell www.cs.york.ac.uk/~ndm/ Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Software engineering Computer programming Programming language theory Compiler optimizations Functional languages Inline expansion Subroutines Haskell Entry point
89	Global Energy Optimization Plugin Developer’s Guide Global Energy Optimization Power Management (GEOPM) is an extensible power management framework targeting high performance computing. The library can be extended to s Add to Reading List Source URL: geopm.github.io Language: English - Date: 2016-05-25 12:25:11 Software engineering Computer programming Programming language theory Procedural programming languages C++ Data types Const C++ classes Method ALGOL 68 D C++11
90	Open Source Deployment via the Browser From Python Quant Platform to datapark.io ! Yves Hilpisch Add to Reading List Source URL: hilpisch.com Language: English - Date: 2015-05-01 11:59:04 Software engineering Computer programming Programming language theory Quantitative analyst Valuation Monty Python Python